Formal verification of LTE-UMTS and LTE–LTE handover procedures
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملLTE Handover Performance Evaluation
LTE (Long Term Evolution) is a fourth generation cellular network technology that provides improved performance related to data rate, coverage and capacity compared to legacy cellular systems. In this context, one of the main goals of LTE is to provide fast and seamless handover from one cell to another to meet a strict delay requirement while simultaneously keeping network management simple. H...
متن کاملInter-RAT Handover Between UMTS And WiMAX
The future beyond third generation (B3G) or fourth generation (4G) systems will consist of different radio access technologies, such as GSM/GPRS, UMTS, WiFi, and WiMAX. Many intensive efforts have been made to identify the unsolved issues about the future mobile systems, and one important issue is what the future vertical handover management solution will be. A variety of mobility management so...
متن کاملSeamless Handover between UMTS and GPRS
UMTS is one step ahead from the 2.5G network GPRS and supports faster data rates with wide coverage area. GPRS and UMTS are already deployed in many countries but seamless handover between GPRS and UMTS still remains as a stumbling block for the service providers to fulfill the continuously increasing customer demand for internet and data access in the IP-based wireless network and to maintain ...
متن کاملHandover Parameter Optimisation in LTE
1. Introduction Handover (HO) is key procedure for ensuring that users can move freely within a network being connected to high quality services [1]. In currently deployed mobile networks, handover optimization is performed manually over a long time period-days or weeks. This approach is both time consuming and can not be carried out as often as needed. By introducing an online self-optimising ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Standards & Interfaces
سال: 2017
ISSN: 0920-5489
DOI: 10.1016/j.csi.2016.08.009